DE eng

Search in the Catalogues and Directories

Hits 1 – 3 of 3

1
New Version of a Translater for a Natural Language Study
In: https://hal.archives-ouvertes.fr/hal-03551680 ; 2022 (2022)
BASE
Show details
2
A Translater from Latex Trees to Coq Trees for a Natural Language Study
In: https://hal.archives-ouvertes.fr/hal-03536652 ; 2022 (2022)
BASE
Show details
3
Natural Language Processing and Coq : a case-study
In: WIL'2017 ; https://hal.archives-ouvertes.fr/hal-01792729 ; WIL'2017, Jun 2017, Reykjavik, Iceland (2017)
BASE
Show details

Catalogues
0
0
0
0
0
0
0
Bibliographies
0
0
0
0
0
0
0
0
0
Linked Open Data catalogues
0
Online resources
0
0
0
0
Open access documents
3
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern